STATE PARTITIONING